Algebraic combinatorics in bounded induction
نویسندگان
چکیده
In this paper, new methods for analyzing models of weak subsystems Peano Arithmetic are proposed. The focus will be on the study algebro-combinatoric properties certain definable cuts. Their relationship with segments that satisfy more induction, those limited by standard powers/roots an element, and also sets in Bounded Induction is studied. As a consequence, some considerations Π 1 -interpretability I Δ 0 theories, as well alternative axiomatizations, reviewed. Some results paper obtained immersing its Stone-Cech Compactification, once it endowed topology.
منابع مشابه
Algebraic Combinatorics in Bayreuth
I should like to give a brief introduction of our group, describe its main activities in the field of Algebraic Combinatorics, and illustrate them by a few typical examples.
متن کاملAlgebraic Methods in Combinatorics
1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets of X. Suppose that for every pair of distinct elements in X, there is a unique member of F which contains both elements. Prove that |F| ≥ |X|. Solution: Let X = [n] and F = {A1, . . . , Am}. We need to show that n ≤ m. Define the m × n incidence matrix A over R by ...
متن کاملProblems in Algebraic Combinatorics
This is a list of open problems, mainly in graph theory and all with an algebraic flavour. Except for 6.1, 7.1 and 12.2 they are either folklore, or are stolen from other people. AMS Classification Number: 05E99
متن کاملOperads in algebraic combinatorics
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial informatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2021
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2020.102885